type T = {
  [K in any]-?: any;
};
